Finite model theory - PDFSEARCH.IO - Document Search Engine

Finite model theory
Results: 870

#	Item
141	MathWebSearch at NTCIR-11: Keywords, Frontend, & Scalability Radu Hambasan & Michael Kohlhase & Corneliu Prodescu http://kwarc.info/kohlhase Computer Science Jacobs University Bremen, Germany Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2014-12-15 20:05:37 Computing Finite model theory Information Michael Kohlhase MathML Information retrieval Searching OpenMath Search engine indexing Information science Markup languages Mathematical markup languages
142	The Asia-Pacific Journal: Japan Focus In-depth critical analysis of the forces shaping the Asia-Pacific...and the world. Wa r Re spo nsi bi l i t y a nd Hi st o ri ca l Me mo ry: Hi ro hi t o ’s Appa ri t i o n He rbe Add to Reading List Source URL: battleofmanila.org Language: English - Date: 2014-08-16 01:02:03 SO Finite model theory Mathematics FO
143	Finite time ruin problems for the Markov-modulated risk model Jingchao Li, David C M Dickson, Shuanming Li Centre for Actuarial Studies, Department of Economics, University of Melbourne, VIC 3010, Australia Abstract Add to Reading List Source URL: fbe.unimelb.edu.au Language: English - Date: 2014-06-30 21:21:47 Differential equations Spectral theory Ordinary differential equations Markov chain Laplace transform Heat equation Decomposition of spectrum Mathematical analysis Mathematics Calculus
144	Microsoft Word - 2015_GBS_regulations.docx Add to Reading List Source URL: www.fwo.be Language: English - Date: 2014-06-10 09:55:44 FO Finite model theory Thou
145	Onto the method: What we do is take a number which function as a disjunction in a scale and place it in place of the addition of two numbers. Here I pick the simplest. Let us start with the series I quoted before but hi Add to Reading List Source URL: www.anaphoria.com Language: English - Date: 2014-05-23 20:35:28 Finite model theory Function We Mathematics Mathematical logic FO
146	Classifying classes of structures in model theory Saharon Shelah The Hebrew University of Jerusalem, Israel, and Rutgers University, NJ, USA ECM 2012 Add to Reading List Source URL: shelah.logic.at Language: English - Date: 2012-07-08 18:00:58 Logic Field theory Metalogic Stable theory Field Saharon Shelah Finite field Forking extension Model theory Mathematical logic Mathematics
147	Microsoft PowerPoint - Business Process and Complexity.ppt Add to Reading List Source URL: www.towersassociates.com Language: English - Date: 2008-10-17 04:50:30 Complexity Kleinwort Benson Science Structure Ethology Finite model theory FO Ith
148	Initial Report Last Mo dified: What is yo ur lo ng-term career go al? Add to Reading List Source URL: tulane.edu Language: English - Date: 2012-05-21 16:55:02 Applied mathematics Mathematical sciences Mathematics FO Finite model theory Variance
149	Copyright Notice and Limitations of Use © 2007 by Laura Candler. All rights reserved. Your individual purchase entitles you to reproduce these pages as needed for your own classroom use. You may also save a backup file Add to Reading List Source URL: www.lauracandler.com Language: English - Date: 2012-03-31 16:01:07 FO Finite model theory IP Clifford algebras Coding theory Elliptic curves Geometric algebra Factorization of polynomials over a finite field and irreducibility tests Mathematics Theoretical computer science Abstract algebra
150	A Auto‐con nfiguring Outlook k 2010 fo or UNSW W Exchan Add to Reading List Source URL: www.it.unsw.edu.au Language: English - Date: 2010-07-19 20:45:56 FO Finite model theory University of New South Wales

UPDATE